; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = sub i64 %"SymVar_0", 902749805
  %".5" = zext i64 %"SymVar_0" to i128
  %".6" = zext i64 0 to i128
  %".7" = shl i128 %".6", 64
  %".8" = or i128 %".5", %".7"
  %".9" = zext i64 7 to i128
  %".10" = udiv i128 %".8", %".9"
  %".11" = trunc i128 %".10" to i64
  %".12" = zext i8 3 to i64
  %".13" = and i64 %".12", 63
  %".14" = lshr i64 %".11", %".13"
  %".15" = and i64 15, %".14"
  %".16" = or i64 1, %".15"
  %".17" = sub i64 64, %".16"
  %".18" = trunc i64 %".17" to i8
  %".19" = zext i8 %".18" to i64
  %".20" = and i64 %".19", 63
  %".21" = lshr i64 127996265, %".20"
  %".22" = zext i8 3 to i64
  %".23" = and i64 %".22", 63
  %".24" = lshr i64 %".11", %".23"
  %".25" = and i64 15, %".24"
  %".26" = or i64 1, %".25"
  %".27" = trunc i64 %".26" to i8
  %".28" = zext i8 %".27" to i64
  %".29" = and i64 %".28", 63
  %".30" = shl i64 127996265, %".29"
  %".31" = or i64 %".21", %".30"
  %".32" = zext i8 4 to i64
  %".33" = and i64 %".32", 63
  %".34" = lshr i64 %".31", %".33"
  %".35" = and i64 15, %".34"
  %".36" = or i64 1, %".35"
  %".37" = sub i64 64, %".36"
  %".38" = trunc i64 %".37" to i8
  %".39" = zext i8 %".38" to i64
  %".40" = and i64 %".39", 63
  %".41" = lshr i64 %"SymVar_0", %".40"
  %".42" = zext i8 3 to i64
  %".43" = and i64 %".42", 63
  %".44" = lshr i64 %".11", %".43"
  %".45" = and i64 15, %".44"
  %".46" = or i64 1, %".45"
  %".47" = sub i64 64, %".46"
  %".48" = trunc i64 %".47" to i8
  %".49" = zext i8 %".48" to i64
  %".50" = and i64 %".49", 63
  %".51" = lshr i64 127996265, %".50"
  %".52" = zext i8 3 to i64
  %".53" = and i64 %".52", 63
  %".54" = lshr i64 %".11", %".53"
  %".55" = and i64 15, %".54"
  %".56" = or i64 1, %".55"
  %".57" = trunc i64 %".56" to i8
  %".58" = zext i8 %".57" to i64
  %".59" = and i64 %".58", 63
  %".60" = shl i64 127996265, %".59"
  %".61" = or i64 %".51", %".60"
  %".62" = zext i8 4 to i64
  %".63" = and i64 %".62", 63
  %".64" = lshr i64 %".61", %".63"
  %".65" = and i64 15, %".64"
  %".66" = or i64 1, %".65"
  %".67" = trunc i64 %".66" to i8
  %".68" = zext i8 %".67" to i64
  %".69" = and i64 %".68", 63
  %".70" = shl i64 %"SymVar_0", %".69"
  %".71" = or i64 %".41", %".70"
  %".72" = and i64 31, %".71"
  %".73" = zext i8 4 to i64
  %".74" = and i64 %".73", 63
  %".75" = shl i64 %".72", %".74"
  %".76" = or i64 %".75", %".11"
  %".77" = and i64 15, %".76"
  %".78" = zext i8 2 to i64
  %".79" = and i64 %".78", 63
  %".80" = shl i64 %".77", %".79"
  %".81" = or i64 %".80", %".76"
  %".82" = and i64 15, %".81"
  %".83" = or i64 1, %".82"
  %".84" = sub i64 64, %".83"
  %".85" = trunc i64 %".84" to i32
  %".86" = zext i32 %".85" to i64
  %".87" = trunc i64 %".86" to i8
  %".88" = zext i8 %".87" to i64
  %".89" = and i64 %".88", 63
  %".90" = lshr i64 %".4", %".89"
  %".91" = and i64 15, %".81"
  %".92" = or i64 1, %".91"
  %".93" = trunc i64 %".92" to i32
  %".94" = zext i32 %".93" to i64
  %".95" = trunc i64 %".94" to i8
  %".96" = zext i8 %".95" to i64
  %".97" = and i64 %".96", 63
  %".98" = shl i64 %".4", %".97"
  %".99" = or i64 %".90", %".98"
  %".100" = sext i64 343000538 to i128
  %".101" = sub i64 %"SymVar_0", 696182945
  %".102" = sext i64 %".101" to i128
  %".103" = mul i128 %".100", %".102"
  %".104" = trunc i128 %".103" to i64
  %".105" = lshr i64 %".104", 16
  %".106" = trunc i64 %".105" to i8
  %".107" = zext i8 %".106" to i16
  %".108" = lshr i64 %".104", 24
  %".109" = trunc i64 %".108" to i8
  %".110" = zext i8 %".109" to i16
  %".111" = shl i16 %".110", 8
  %".112" = or i16 %".107", %".111"
  %".113" = zext i16 %".112" to i32
  %".114" = zext i32 %".113" to i64
  %".115" = trunc i64 %".114" to i16
  %".116" = zext i16 %".115" to i32
  %".117" = zext i32 %".116" to i64
  %".118" = trunc i64 %".117" to i16
  %".119" = zext i16 %".118" to i32
  %".120" = zext i32 %".119" to i64
  %".121" = trunc i64 %".120" to i16
  %".122" = zext i16 %".121" to i32
  %".123" = zext i32 %".122" to i64
  %".124" = trunc i64 %".123" to i16
  %".125" = trunc i16 %".124" to i8
  %".126" = zext i8 %".125" to i64
  %".127" = trunc i64 %".123" to i16
  %".128" = lshr i16 %".127", 8
  %".129" = trunc i16 %".128" to i8
  %".130" = zext i8 %".129" to i64
  %".131" = shl i64 %".130", 8
  %".132" = or i64 %".126", %".131"
  %".133" = lshr i64 %".104", 32
  %".134" = trunc i64 %".133" to i8
  %".135" = zext i8 %".134" to i16
  %".136" = lshr i64 %".104", 40
  %".137" = trunc i64 %".136" to i8
  %".138" = zext i8 %".137" to i16
  %".139" = shl i16 %".138", 8
  %".140" = or i16 %".135", %".139"
  %".141" = zext i16 %".140" to i32
  %".142" = zext i32 %".141" to i64
  %".143" = trunc i64 %".142" to i16
  %".144" = zext i16 %".143" to i32
  %".145" = zext i32 %".144" to i64
  %".146" = trunc i64 %".145" to i16
  %".147" = zext i16 %".146" to i32
  %".148" = zext i32 %".147" to i64
  %".149" = trunc i64 %".148" to i16
  %".150" = zext i16 %".149" to i32
  %".151" = zext i32 %".150" to i64
  %".152" = trunc i64 %".151" to i16
  %".153" = trunc i16 %".152" to i8
  %".154" = zext i8 %".153" to i64
  %".155" = shl i64 %".154", 16
  %".156" = or i64 %".132", %".155"
  %".157" = trunc i64 %".151" to i16
  %".158" = lshr i16 %".157", 8
  %".159" = trunc i16 %".158" to i8
  %".160" = zext i8 %".159" to i64
  %".161" = shl i64 %".160", 24
  %".162" = or i64 %".156", %".161"
  %".163" = lshr i64 %".104", 48
  %".164" = trunc i64 %".163" to i8
  %".165" = zext i8 %".164" to i16
  %".166" = lshr i64 %".104", 56
  %".167" = trunc i64 %".166" to i8
  %".168" = zext i8 %".167" to i16
  %".169" = shl i16 %".168", 8
  %".170" = or i16 %".165", %".169"
  %".171" = zext i16 %".170" to i32
  %".172" = zext i32 %".171" to i64
  %".173" = trunc i64 %".172" to i16
  %".174" = zext i16 %".173" to i32
  %".175" = zext i32 %".174" to i64
  %".176" = trunc i64 %".175" to i16
  %".177" = zext i16 %".176" to i32
  %".178" = zext i32 %".177" to i64
  %".179" = trunc i64 %".178" to i16
  %".180" = zext i16 %".179" to i32
  %".181" = zext i32 %".180" to i64
  %".182" = trunc i64 %".181" to i16
  %".183" = zext i16 %".182" to i32
  %".184" = zext i32 %".183" to i64
  %".185" = trunc i64 %".184" to i16
  %".186" = zext i16 %".185" to i32
  %".187" = zext i32 %".186" to i64
  %".188" = trunc i64 %".187" to i16
  %".189" = zext i16 %".188" to i32
  %".190" = zext i32 %".189" to i64
  %".191" = trunc i64 %".190" to i16
  %".192" = zext i16 %".191" to i32
  %".193" = zext i32 %".192" to i64
  %".194" = trunc i64 %".193" to i16
  %".195" = trunc i16 %".194" to i8
  %".196" = zext i8 %".195" to i64
  %".197" = shl i64 %".196", 32
  %".198" = or i64 %".162", %".197"
  %".199" = trunc i64 %".193" to i16
  %".200" = lshr i16 %".199", 8
  %".201" = trunc i16 %".200" to i8
  %".202" = zext i8 %".201" to i64
  %".203" = shl i64 %".202", 40
  %".204" = or i64 %".198", %".203"
  %".205" = trunc i64 %".104" to i8
  %".206" = zext i8 %".205" to i16
  %".207" = lshr i64 %".104", 8
  %".208" = trunc i64 %".207" to i8
  %".209" = zext i8 %".208" to i16
  %".210" = shl i16 %".209", 8
  %".211" = or i16 %".206", %".210"
  %".212" = zext i16 %".211" to i32
  %".213" = zext i32 %".212" to i64
  %".214" = trunc i64 %".213" to i16
  %".215" = zext i16 %".214" to i32
  %".216" = zext i32 %".215" to i64
  %".217" = trunc i64 %".216" to i16
  %".218" = trunc i16 %".217" to i8
  %".219" = zext i8 %".218" to i64
  %".220" = shl i64 %".219", 48
  %".221" = or i64 %".204", %".220"
  %".222" = trunc i64 %".216" to i16
  %".223" = lshr i16 %".222", 8
  %".224" = trunc i16 %".223" to i8
  %".225" = zext i8 %".224" to i64
  %".226" = shl i64 %".225", 56
  %".227" = or i64 %".221", %".226"
  %".228" = zext i8 2 to i64
  %".229" = and i64 %".228", 63
  %".230" = lshr i64 %".227", %".229"
  %".231" = and i64 15, %".230"
  %".232" = or i64 1, %".231"
  %".233" = sub i64 64, %".232"
  %".234" = trunc i64 %".233" to i32
  %".235" = zext i32 %".234" to i64
  %".236" = trunc i64 %".235" to i8
  %".237" = zext i8 %".236" to i64
  %".238" = and i64 %".237", 63
  %".239" = lshr i64 %".71", %".238"
  %".240" = zext i8 %".125" to i64
  %".241" = zext i8 %".129" to i64
  %".242" = shl i64 %".241", 8
  %".243" = or i64 %".240", %".242"
  %".244" = zext i8 %".153" to i64
  %".245" = shl i64 %".244", 16
  %".246" = or i64 %".243", %".245"
  %".247" = zext i8 %".159" to i64
  %".248" = shl i64 %".247", 24
  %".249" = or i64 %".246", %".248"
  %".250" = zext i8 %".195" to i64
  %".251" = shl i64 %".250", 32
  %".252" = or i64 %".249", %".251"
  %".253" = zext i8 %".201" to i64
  %".254" = shl i64 %".253", 40
  %".255" = or i64 %".252", %".254"
  %".256" = zext i8 %".218" to i64
  %".257" = shl i64 %".256", 48
  %".258" = or i64 %".255", %".257"
  %".259" = zext i8 %".224" to i64
  %".260" = shl i64 %".259", 56
  %".261" = or i64 %".258", %".260"
  %".262" = zext i8 2 to i64
  %".263" = and i64 %".262", 63
  %".264" = lshr i64 %".261", %".263"
  %".265" = and i64 15, %".264"
  %".266" = or i64 1, %".265"
  %".267" = trunc i64 %".266" to i32
  %".268" = zext i32 %".267" to i64
  %".269" = trunc i64 %".268" to i8
  %".270" = zext i8 %".269" to i64
  %".271" = and i64 %".270", 63
  %".272" = shl i64 %".71", %".271"
  %".273" = or i64 %".239", %".272"
  %".274" = zext i8 4 to i64
  %".275" = and i64 %".274", 63
  %".276" = lshr i64 %".273", %".275"
  %".277" = and i64 15, %".276"
  %".278" = or i64 1, %".277"
  %".279" = sub i64 64, %".278"
  %".280" = trunc i64 %".279" to i8
  %".281" = zext i8 %".280" to i64
  %".282" = and i64 %".281", 63
  %".283" = shl i64 %".99", %".282"
  %".284" = and i64 15, %".81"
  %".285" = or i64 1, %".284"
  %".286" = sub i64 64, %".285"
  %".287" = trunc i64 %".286" to i32
  %".288" = zext i32 %".287" to i64
  %".289" = trunc i64 %".288" to i8
  %".290" = zext i8 %".289" to i64
  %".291" = and i64 %".290", 63
  %".292" = lshr i64 %".4", %".291"
  %".293" = and i64 15, %".81"
  %".294" = or i64 1, %".293"
  %".295" = trunc i64 %".294" to i32
  %".296" = zext i32 %".295" to i64
  %".297" = trunc i64 %".296" to i8
  %".298" = zext i8 %".297" to i64
  %".299" = and i64 %".298", 63
  %".300" = shl i64 %".4", %".299"
  %".301" = or i64 %".292", %".300"
  %".302" = zext i8 %".125" to i64
  %".303" = zext i8 %".129" to i64
  %".304" = shl i64 %".303", 8
  %".305" = or i64 %".302", %".304"
  %".306" = zext i8 %".153" to i64
  %".307" = shl i64 %".306", 16
  %".308" = or i64 %".305", %".307"
  %".309" = zext i8 %".159" to i64
  %".310" = shl i64 %".309", 24
  %".311" = or i64 %".308", %".310"
  %".312" = zext i8 %".195" to i64
  %".313" = shl i64 %".312", 32
  %".314" = or i64 %".311", %".313"
  %".315" = zext i8 %".201" to i64
  %".316" = shl i64 %".315", 40
  %".317" = or i64 %".314", %".316"
  %".318" = zext i8 %".218" to i64
  %".319" = shl i64 %".318", 48
  %".320" = or i64 %".317", %".319"
  %".321" = zext i8 %".224" to i64
  %".322" = shl i64 %".321", 56
  %".323" = or i64 %".320", %".322"
  %".324" = zext i8 2 to i64
  %".325" = and i64 %".324", 63
  %".326" = lshr i64 %".323", %".325"
  %".327" = and i64 15, %".326"
  %".328" = or i64 1, %".327"
  %".329" = sub i64 64, %".328"
  %".330" = trunc i64 %".329" to i32
  %".331" = zext i32 %".330" to i64
  %".332" = trunc i64 %".331" to i8
  %".333" = zext i8 %".332" to i64
  %".334" = and i64 %".333", 63
  %".335" = lshr i64 %".71", %".334"
  %".336" = zext i8 %".125" to i64
  %".337" = zext i8 %".129" to i64
  %".338" = shl i64 %".337", 8
  %".339" = or i64 %".336", %".338"
  %".340" = zext i8 %".153" to i64
  %".341" = shl i64 %".340", 16
  %".342" = or i64 %".339", %".341"
  %".343" = zext i8 %".159" to i64
  %".344" = shl i64 %".343", 24
  %".345" = or i64 %".342", %".344"
  %".346" = zext i8 %".195" to i64
  %".347" = shl i64 %".346", 32
  %".348" = or i64 %".345", %".347"
  %".349" = zext i8 %".201" to i64
  %".350" = shl i64 %".349", 40
  %".351" = or i64 %".348", %".350"
  %".352" = zext i8 %".218" to i64
  %".353" = shl i64 %".352", 48
  %".354" = or i64 %".351", %".353"
  %".355" = zext i8 %".224" to i64
  %".356" = shl i64 %".355", 56
  %".357" = or i64 %".354", %".356"
  %".358" = zext i8 2 to i64
  %".359" = and i64 %".358", 63
  %".360" = lshr i64 %".357", %".359"
  %".361" = and i64 15, %".360"
  %".362" = or i64 1, %".361"
  %".363" = trunc i64 %".362" to i32
  %".364" = zext i32 %".363" to i64
  %".365" = trunc i64 %".364" to i8
  %".366" = zext i8 %".365" to i64
  %".367" = and i64 %".366", 63
  %".368" = shl i64 %".71", %".367"
  %".369" = or i64 %".335", %".368"
  %".370" = zext i8 4 to i64
  %".371" = and i64 %".370", 63
  %".372" = lshr i64 %".369", %".371"
  %".373" = and i64 15, %".372"
  %".374" = or i64 1, %".373"
  %".375" = trunc i64 %".374" to i8
  %".376" = zext i8 %".375" to i64
  %".377" = and i64 %".376", 63
  %".378" = lshr i64 %".301", %".377"
  %".379" = or i64 %".283", %".378"
  ret i64 %".379"
}
